package edu.mit.csail.sdg.alloy4;
import java.util.Date;
import java.text.*;
public final class Version {
private Version() {}
public static final boolean experimental = false;
public static int buildNumber() { return 905; }
public static String version() { return "4.1.10"; }
public static String buildDate() { return "2011/04/12 14:54 EDT"; }}
